formal corollary

См. также в других словарях:

• corollary — co|rol|la|ry [kəˈrɔləri US ˈko:rəleri, ˈka: ] n plural corollaries formal [Date: 1300 1400; : Latin; Origin: corollarium money paid for a circle of flowers, something additional , from corolla circle of flowers ] something that is the direct… …   Dictionary of contemporary English

• corollary — [[t]kərɒ̱ləri, AM kɔ͟ːrəleri[/t]] corollaries N COUNT: oft with poss A corollary of something is an idea, argument, or fact that results directly from it. [FORMAL] The number of prisoners increased as a corollary of the government s determination …   English dictionary

• corollary — UK [kəˈrɒlərɪ] / US [ˈkɔrəˌlerɪ] noun [countable] Word forms corollary : singular corollary plural corollaries formal something that will also be true if a particular idea or statement is true, or something that will also exist if a particular… …   English dictionary

• corollary — noun (C) formal something that is the direct result of something else: This is the inevitable corollary of his determination to succeed …   Longman dictionary of contemporary English

• corollary — cor|ol|lar|y [ kɔrə,leri ] noun count FORMAL something that will also be true if a particular idea or statement is true, or something that will also exist if a particular situation exists …   Usage of the words and phrases in modern English

• Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… …   Wikipedia

• Countable set — Countable redirects here. For the linguistic concept, see Count noun. Not to be confused with (recursively) enumerable sets. In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of… …   Wikipedia

• procedural law — Law that prescribes the procedures and methods for enforcing rights and duties and for obtaining redress (e.g., in a suit). It is distinguished from substantive law (i.e., law that creates, defines, or regulates rights and duties). Procedural law …   Universalium

• Spinoza: metaphysics and knowledge — G.H.R.Parkinson The philosophical writings of Spinoza are notoriously obscure, and they have been interpreted in many ways. Some interpreters see Spinoza as (in the words of a contemporary)1 ‘the reformer of the new [sc. Cartesian] philosophy’.… …   History of philosophy

• Second-order logic — In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… …   Wikipedia

• international relations — a branch of political science dealing with the relations between nations. [1970 75] * * * Study of the relations of states with each other and with international organizations and certain subnational entities (e.g., bureaucracies and political… …   Universalium